Two Type Programming